(solving a Rubik's cube)